định lí

Học sinh viết một định lí toán học lên bảng.

Definition

1. Noun:
   • Theorem: In mathematics and logic, a statement that has been proven to be true based on previously established statements, such as other theorems, and generally accepted axioms.

Usage Examples

• Noun:
  • Định lí Pythagoras rất quan trọng trong hình học. (The Pythagorean theorem is very important in geometry.)
  • Nhà toán học đã chứng minh một định lí mới. (The mathematician proved a new theorem.)
  • Giáo viên yêu cầu chúng tôi học thuộc định lí này. (The teacher asked us to memorize this theorem.)

Advanced Usage

• "định lí đảo": converse theorem.
  • Chúng ta cần xét đến định lí đảo của nó. (We need to consider its converse theorem.)

Variants and Related Words

• Bổ đề (n): lemma (a minor, proven proposition used as a stepping stone to a larger theorem).
• Hệ quả (n): corollary (a proposition that follows from a proven theorem with little additional proof).

Synonyms

• Theorem: a proven proposition.
• Proposition: a statement offered for consideration, though not necessarily proven.

Related Idioms

• : (as solid as a theorem) used to describe something that is unquestionably true or reliable.
  • Lập luận của anh ấy cứng như định lí. (His argument is as solid as a theorem.)